Logic Control

Results: 840



#Item
171Models of computation / Logic in computer science / Programming language semantics / Compiler construction / Programming language implementation / Data-flow analysis / Denotational semantics / Assembly language / Control flow graph / Theoretical computer science / Computing / Software engineering

Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2005-11-14 17:37:09
172Computing / Ambient calculus / Π-calculus / Process calculus / Actor model / Calculus / Lambda calculus / Communicating sequential processes / Combinatory logic / Process calculi / Computer science / Applied mathematics

A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate

Add to Reading List

Source URL: wcl.cs.rpi.edu

Language: English - Date: 2015-01-22 12:33:50
173Philosophical logic / Philosophy of mathematics / Huth / Surnames / Truth / Analysis / Mathematical logic / Model theory / Philosophy / Logic / Science

Access-Control Policies via Belnap logic: expressive composition and simple analysis Michael Huth imperial.ac.uk/quads/ Abschlussveranstaltung des Graduiertenkollegs

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2008-09-05 11:42:02
174Logic / NetLogo / Fuzzy control system / Neuro-fuzzy / Agent-based model / Fuzzy logic / Simulation / Software agent / Social simulation / Artificial intelligence / Science / Computing

Wíinik: Towards an Agent-Based Simulation Design Tool for Distributed Agency and Cognitive Software Agents ∗ Josué Miguel Flores-Parra

Add to Reading List

Source URL: www.inf.kcl.ac.uk

Language: English - Date: 2013-06-09 19:58:28
175Mathematics / Control engineering / Artificial intelligence / Logic in computer science / Control theory / Fuzzy control system / Defuzzification / Control system / Fuzzy set / Logic / Fuzzy logic / Mathematical logic

AN INTRODUCTION TO FUZZY LOGIC (_Seattle_Robotics_

Add to Reading List

Source URL: www.foretrade.com

Language: English - Date: 2009-09-24 09:59:33
176Systems psychology / Logic / Control theory / Variable / FO / Mathematics / Perceptual control theory / Psychotherapy

Tools for Knowledge Workers PCT 101: A Primer If the model shown above could speak, here is what it might say: “We human beings select or Target certain variables in our environment (T). We set Goals (G) defining the s

Add to Reading List

Source URL: www.nickols.us

Language: English - Date: 2013-06-02 07:01:42
177Identity management / XACML / Role-based access control / Authorization / Authentication / OASIS / Directory service / PERMIS / Radiant Logic / Security / Computer security / Access control

World Leading Directory Technology White Paper: Location, Location, Location: Where You Put Your Identity

Add to Reading List

Source URL: www.viewds.com

Language: English - Date: 2015-03-12 01:02:44
178Recommender system / Fuzzy control system / Fuzzy set / Logic / Fuzzy logic / Mathematical logic

An Indirect Security Trust Method Based on Credibility Evaluation Wei Xianghe1, 2, Zhang Hong1, Liu Zhen1, Li Qianmu1, Xia Bin1 1 School of Computer Science and Technology

Add to Reading List

Source URL: dline.info

Language: English - Date: 2014-05-16 22:37:25
179Algorithm / Mathematical logic / Theoretical computer science / Control limits / Evaluation / Business / Management / Quality control / Evaluation methods

THE IMPORTANCE OF BIOLOGICAL CONTROL LIMIT SELECTION Josh Stanton and Maureen P Swanney Respiratory Physiology Laboratory, Christchurch Hospital, Christchurch, NZ. Monitoring ‘biological control’ subjects forms an in

Add to Reading List

Source URL: anzsrs.rewarddesign.net

Language: English - Date: 2012-04-11 00:09:24
180Electronic design automation / Hardware description languages / Firmware / VHDL / Microcode / Counter / Flip-flop / One-hot / Electronic engineering / Electronics / Digital electronics

EE432 Advanced Digital Design with HDL Spring 2013 Week 3 Lecture Topic, April 16 We will start with a general review of using state machines to control logic circuits. Then we will look at handling multiple state machin

Add to Reading List

Source URL: www.almy.us

Language: English - Date: 2013-03-26 21:54:07
UPDATE